#include "syscall.h"

int main (void)
{
	int pid2;
	Print("Hello World\n");
	PrintNum(666);
	Print("\n");



	pid2=Exec("../test/print1");
	Print("back to print\n");
	Exit(0);
	/* not reached */
}

